discrete math irreflexivity